class FUNCTION_TYPE inherit TYPE create
	make_fun
feature
	arg    : TYPE
	return : TYPE
	
	make_fun (n :STRING; a , r : TYPE) is
	do
		arg := a
		return := r
		make(n)
	end	
	
end